/*
 * MethodCallParametersIgnored.java
 *
 * Copyright 2007 Christoph Csallner and Yannis Smaragdakis.
 */
package edu.gatech.cc.cnc.examples;

/**
 * @author csallner@gatech.edu (Christoph Csallner)
 */
public class MethodCallParametersIgnored {

  
  public int id(int i) {
    return i;
  }
  
  
  /**
   * ESC/Java replaces method call by postcondition (true by default).
   * Without specification, the parameter value gets thereby lost.
   * ESC/Java produces the same constraint system for any concrete id parameter.
   */
  public int divide(int p) {
    int res = id(7);
    return p / res;
  }
}
